Skip to content

docs: remove unnecessary protocols.py to clean up docs, adjusted doc order to sort by source declaration order (except in base api type reference)#690

Merged
jrvb-rl merged 1 commit into
mainfrom
siddarth/doc-protocols
Nov 22, 2025
Merged

docs: remove unnecessary protocols.py to clean up docs, adjusted doc order to sort by source declaration order (except in base api type reference)#690
jrvb-rl merged 1 commit into
mainfrom
siddarth/doc-protocols

Conversation

@sid-rl

@sid-rl sid-rl commented Nov 22, 2025

Copy link
Copy Markdown
Contributor

No description provided.

…to sort by source declaration order (except in base api type reference)
@wall-rl wall-rl self-requested a review November 22, 2025 06:26

@wall-rl wall-rl left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You have a merge conflict

@jrvb-rl jrvb-rl left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM as well. Looks like the conflicts are fixed, so I'll go ahead and merge.

@jrvb-rl jrvb-rl merged commit 8551307 into main Nov 22, 2025
7 checks passed
@jrvb-rl jrvb-rl deleted the siddarth/doc-protocols branch November 22, 2025 08:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants